Abstraction is dimensionality reduction